|
Matthew Hennessy is an Irish computer scientist who has contributed especially to concurrency, process calculi and programming language semantics. ==Career== During 1976–77, Matthew Hennessy was an Assistant Professor at the University of Waterloo in Canada.〔(【引用サイトリンク】 title=Matthew Hennessy )〕 Then during 1977–78, he was a visiting professor at the Universidade Federal de Pernambuco in Brazil. Subsequently he was a Research Associate (1979–81) and then Lecturer (1981–85) at the University of Edinburgh in Scotland. During 1985, he was a guest lecturer/researcher at the University of Aarhus in Denmark. Hennessy was Professor of Computer Science at the Department of Informatics, University of Sussex, England, from 1985 until 2008. Since then, Hennessy has held a research professorship at the Department of Computer Science, Trinity College, Dublin. Hennessy's research interests are in the area of the semantic foundations of programming and specification languages, particularly involving distributed computing, including mobile computing.〔.〕 He also has an interest in verification tools. His co-authors include Robin Milner and Gordon Plotkin. Hennessy is a member of the Academy of Europe.〔 He held a Royal Society/Leverhulme Trust Senior Research Fellowship during 2005–06 and has a Science Foundation Ireland Research Professorship at Trinity College Dublin. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Matthew Hennessy」の詳細全文を読む スポンサード リンク
|